Let <i>G</I> be a finite group and let <i>p</I> be a prime.  If <i>p<sup>k</sup></i> divides |<i>G</I>|, then <i>G</I> has at least one subgroup of order   <i>p<sup>k</sup></i>.